Большая советская энциклопедия - отношение типа равенства

Отношение типа равенства, отношение эквивалентности, понятие логики и математики, выражающее факт наличия одних и тех же признаков (свойств) у различных объектов. Относительно таких общих признаков эти различные объекты неразличимы (тождественны, равны, эквивалентны), так что любой из них с равным основанием может служить «представителем» того класса эквивалентности, которому принадлежат все объекты, находящиеся между собой в О. т. р. Отношения типа равенства обладают свойствами рефлексивности, симметричности и транзитивности, а также, в определенных условиях и в определенных границах, т. н. свойством замены, состоящим в том, что объекты, находящиеся между собой в таком отношении, могут выполнять одни и те же функции, а их имена (обозначающие их слова) можно подставлять одно вместо другого в различные предложения. См. Абстракции принцип, Отношение, Понятие, Равенство, Тождество, Эквивалентность.